2

Essential transitions to bisimulation equivalences

Year:
1997
Language:
english
File:
PDF, 1.57 MB
english, 1997
3

Minimizing the number of transitions with respect to observation equivalence

Year:
1991
Language:
english
File:
PDF, 923 KB
english, 1991